翻訳と辞書
Words near each other
・ Heredeiros da Crus
・ Heredero
・ Herederos
・ Herederos de una venganza
・ Heredia
・ Heredia (canton)
・ Heredia (etymology)
・ Heredia (genus)
・ Heredia Jaguares de Peten
・ Heredia Province
・ Heredia, Costa Rica
・ Heredia, Álava
・ Hereditament
・ Hereditarianism
・ Hereditarily countable set
Hereditarily finite set
・ Hereditarnia
・ Hereditary angioedema
・ Hereditary benign intraepithelial dyskeratosis
・ Hereditary breast–ovarian cancer syndrome
・ Hereditary C*-subalgebra
・ Hereditary CNS demyelinating disease
・ Hereditary Commander
・ Hereditary coproporphyria
・ Hereditary cystatin C amyloid angiopathy
・ Hereditary diffuse gastric cancer
・ Hereditary diffuse leukoencephalopathy with spheroids
・ Hereditary Disease Foundation
・ Hereditary education policy
・ Hereditary elliptocytosis


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

Hereditarily finite set : ウィキペディア英語版
Hereditarily finite set

In mathematics and set theory, hereditarily finite sets are defined as finite sets whose elements are all hereditarily finite sets.
==Formal definition==
A recursive definition of well-founded hereditarily finite sets goes as follows:
: ''Base case'': The empty set is a hereditarily finite set.
: ''Recursion rule'': If ''a''1,...,''a''''k'' are hereditarily finite, then so is .
The set of all well-founded hereditarily finite sets is denoted ''V''ω. If we denote ''P''(''S'') for the power set of ''S'', ''V''ω can also be constructed by first taking the empty set written ''V''0, then ''V''1 = ''P''(''V''0), ''V''2 = ''P''(''V''1),..., ''V''''k'' = ''P''(''V''''k''−1),... Then
:\bigcup_^\infty V_k = V_\omega.

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「Hereditarily finite set」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.